Software-reliant System Validation with AADL

Here is a list of tools that have been interfaced with AADL in one form or another. This list is not complete. We first give a quick summary of the SAVI Phase 1 POC baseline and then list out tools that had not been included in that demonstration. For a collection of over 250 papers by more than 40 research groups, news, pointers to tools, etc. on AADL see the public AADL Wiki at The baseline is OSATE with the capabilities used in the SAVI Phase 1 POC In this case, we have the architecture represented in AADL. This architecture representation is annotated with semantic information and properties regarding the execution and communication of embedded software and its deployment in computer platform resources. The system architecture model is analyzed throughout the development life cycle as it evolves and is refined over time resulting in an end-to-end validation of system requirements and early discovery of system-level problems that currently leak into the system integration and testing phase. Statistics show that 70% of errors are introduced during requirements and system architecture design and 80% are discovered at system integration or later.